more on this theme     |     more from this thinker     |     more from this text

---

Single Idea 9704

[filed under theme 4. Formal Logic / F. Set Theory ST / 2. Mechanics of Set Theory / a. Symbols of ST ]

Full Idea

'ran R' indicates the 'range' of a relation, that is, the set of all objects that are members of ordered pairs and that are related to by the first objects.

Gist of Idea

'ran R' indicates the 'range' of objects being related to

Source

Herbert B. Enderton (A Mathematical Introduction to Logic (2nd) [2001], Ch.0)

Book Ref

Enderton,Herbert B.: 'A Mathematical Introduction to Logic' [Academic Press 2001], p.4